modal logic

• 模态逻辑

英英释义

Noun:

1. the logical study of necessity and possibility

2. a system of logic whose formal properties resemble certain moral and epistemological concepts